33 research outputs found
Characterization of Binary Constraint System Games
We consider a class of nonlocal games that are related to binary constraint
systems (BCSs) in a manner similar to the games implicit in the work of Mermin
[N.D. Mermin, "Simple unified form for the major no-hidden-variables theorems,"
Phys. Rev. Lett., 65(27):3373-3376, 1990], but generalized to n binary
variables and m constraints. We show that, whenever there is a perfect
entangled protocol for such a game, there exists a set of binary observables
with commutations and products similar to those exhibited by Mermin. We also
show how to derive upper bounds strictly below 1 for the the maximum entangled
success probability of some BCS games. These results are partial progress
towards a larger project to determine the computational complexity of deciding
whether a given instance of a BCS game admits a perfect entangled strategy or
not.Comment: Revised version corrects an error in the previous version of the
proof of Theorem 1 that arises in the case of POVM measurement
Mutually Unbiased Bases and Trinary Operator Sets for N Qutrits
A complete orthonormal basis of N-qutrit unitary operators drawn from the
Pauli Group consists of the identity and 9^N-1 traceless operators. The
traceless ones partition into 3^N+1 maximally commuting subsets (MCS's) of
3^N-1 operators each, whose joint eigenbases are mutually unbiased. We prove
that Pauli factor groups of order 3^N are isomorphic to all MCS's, and show how
this result applies in specific cases. For two qutrits, the 80 traceless
operators partition into 10 MCS's. We prove that 4 of the corresponding basis
sets must be separable, while 6 must be totally entangled (and Bell-like). For
three qutrits, 728 operators partition into 28 MCS's with less rigid structure
allowing for the coexistence of separable, partially-entangled, and totally
entangled (GHZ-like) bases. However, a minimum of 16 GHZ-like bases must occur.
Every basis state is described by an N-digit trinary number consisting of the
eigenvalues of N observables constructed from the corresponding MCS.Comment: LaTeX, 10 pages, 2 references adde
On small proofs of Bell-Kochen-Specker theorem for two, three and four qubits
The Bell-Kochen-Specker theorem (BKS) theorem rules out realistic {\it
non-contextual} theories by resorting to impossible assignments of rays among a
selected set of maximal orthogonal bases. We investigate the geometrical
structure of small BKS-proofs involving real rays and
-dimensional bases of -qubits (). Specifically, we look at the
parity proof 18-9 with two qubits (A. Cabello, 1996), the parity proof 36-11
with three qubits (M. Kernaghan & A. Peres, 1995 \cite{Kernaghan1965}) and a
newly discovered non-parity proof 80-21 with four qubits (that improves work of
P. K Aravind's group in 2008). The rays in question arise as real eigenstates
shared by some maximal commuting sets (bases) of operators in the -qubit
Pauli group. One finds characteristic signatures of the distances between the
bases, which carry various symmetries in their graphs.Comment: version to appear in European Physical Journal Plu
Parity proofs of the Kochen-Specker theorem based on the 24 rays of Peres
A diagrammatic representation is given of the 24 rays of Peres that makes it
easy to pick out all the 512 parity proofs of the Kochen-Specker theorem
contained in them. The origin of this representation in the four-dimensional
geometry of the rays is pointed out.Comment: 14 pages, 6 figures and 3 tables. Three references have been added.
Minor typos have been correcte
Parity proofs of the Bell-Kochen-Specker theorem based on the 600-cell
The set of 60 real rays in four dimensions derived from the vertices of a
600-cell is shown to possess numerous subsets of rays and bases that provide
basis-critical parity proofs of the Bell-Kochen-Specker (BKS) theorem (a
basis-critical proof is one that fails if even a single basis is deleted from
it). The proofs vary considerably in size, with the smallest having 26 rays and
13 bases and the largest 60 rays and 41 bases. There are at least 90 basic
types of proofs, with each coming in a number of geometrically distinct
varieties. The replicas of all the proofs under the symmetries of the 600-cell
yield a total of almost a hundred million parity proofs of the BKS theorem. The
proofs are all very transparent and take no more than simple counting to
verify. A few of the proofs are exhibited, both in tabular form as well as in
the form of MMP hypergraphs that assist in their visualization. A survey of the
proofs is given, simple procedures for generating some of them are described
and their applications are discussed. It is shown that all four-dimensional
parity proofs of the BKS theorem can be turned into experimental disproofs of
noncontextuality.Comment: 19 pages, 11 tables, 3 figures. Email address of first author has
been corrected. Ref.[5] has been corrected, as has an error in Fig.3.
Formatting error in Sec.4 has been corrected and the placement of tables and
figures has been improved. A new paragraph has been added to Sec.4 and
another new paragraph to the end of the Appendi
Bipartite Mixed States of Infinite-Dimensional Systems are Generically Nonseparable
Given a bipartite quantum system represented by a tensor product of two
Hilbert spaces, we give an elementary argument showing that if either component
space is infinite-dimensional, then the set of nonseparable density operators
is trace-norm dense in the set of all density operators (and the separable
density operators nowhere dense). This result complements recent detailed
investigations of separability, which show that when both component Hilbert
spaces are finite-dimensional, there is a separable neighborhood (perhaps very
small for large dimensions) of the maximally mixed state.Comment: 5 pages, RevTe
Tomographic Quantum Cryptography
We present a protocol for quantum cryptography in which the data obtained for
mismatched bases are used in full for the purpose of quantum state tomography.
Eavesdropping on the quantum channel is seriously impeded by requiring that the
outcome of the tomography is consistent with unbiased noise in the channel. We
study the incoherent eavesdropping attacks that are still permissible and
establish under which conditions a secure cryptographic key can be generated.
The whole analysis is carried out for channels that transmit quantum systems of
any finite dimension.Comment: REVTeX4, 9 pages, 3 figures, 1 tabl
Experimental preparation of Werner state via spontaneous parametric down-conversion
We present an experiment of preparing Werner state via spontaneous parametric
down-conversion and controlled decoherence of photons in this paper. In this
experiment two independent BBO (beta-barium borate) crystals are used to
produce down-conversion light beams, which are mixed to prepare Werner state.Comment: 6 pages, 4 figures and 2 table
Causality - Complexity - Consistency: Can Space-Time Be Based on Logic and Computation?
The difficulty of explaining non-local correlations in a fixed causal
structure sheds new light on the old debate on whether space and time are to be
seen as fundamental. Refraining from assuming space-time as given a priori has
a number of consequences. First, the usual definitions of randomness depend on
a causal structure and turn meaningless. So motivated, we propose an intrinsic,
physically motivated measure for the randomness of a string of bits: its length
minus its normalized work value, a quantity we closely relate to its Kolmogorov
complexity (the length of the shortest program making a universal Turing
machine output this string). We test this alternative concept of randomness for
the example of non-local correlations, and we end up with a reasoning that
leads to similar conclusions as in, but is conceptually more direct than, the
probabilistic view since only the outcomes of measurements that can actually
all be carried out together are put into relation to each other. In the same
context-free spirit, we connect the logical reversibility of an evolution to
the second law of thermodynamics and the arrow of time. Refining this, we end
up with a speculation on the emergence of a space-time structure on bit strings
in terms of data-compressibility relations. Finally, we show that logical
consistency, by which we replace the abandoned causality, it strictly weaker a
constraint than the latter in the multi-party case.Comment: 17 pages, 16 figures, small correction
Degree of entanglement for two qubits
In this paper, we present a measure to quantify the degree of entanglement
for two qubits in a pure state.Comment: 5 page